Skip to content

Replay RuntimeInstallReceipt core#47

Merged
mdheller merged 2 commits into
mainfrom
work/runtime-install-receipt-replay
May 22, 2026
Merged

Replay RuntimeInstallReceipt core#47
mdheller merged 2 commits into
mainfrom
work/runtime-install-receipt-replay

Conversation

@mdheller
Copy link
Copy Markdown
Contributor

Summary

Clean replay of the core payload from #25 onto current main after #46 landed.

Original PR #25 is valid and check-green but reported mergeable: false. This replacement carries forward the RuntimeInstallReceipt schema, examples, emission module, and validator without forcing a stale branch merge.

Added / updated

  • .gitignore
  • contracts/runtime-install-receipt.schema.json
  • examples/runtime-install-receipt.installed.json
  • examples/runtime-install-receipt.failed.json
  • examples/runtime-install-receipt.denied.json
  • examples/runtime-install-receipt.partial.json
  • examples/runtime-install-receipt.rolled_back.json
  • examples/runtime-install-receipt.deferred.json
  • src/agent_machine/runtime_install_receipt.py
  • scripts/validate-runtime-install-receipts.py

Scope

Adds RuntimeInstallReceipt emission/validation for install/update lifecycle states. This does not activate runtime installation or perform host mutation.

Residual capture

#25 also included Makefile wiring and src/agent_machine/contracts.py mapping/type-fallback updates. The connector blocked safe current-main patching of contracts.py; Makefile wiring should not be landed without the mapping. These residual wiring edits will be tracked separately after this core replay lands.

Validation

Original PR head 36b935239fdf2aa3ee22084a438bb2809d893403 had:

  • validate: success
  • Trust Surface: success

Expected focused validation for this replay:

python3 scripts/validate-runtime-install-receipts.py

Supersedes

Partially supersedes #25 for the core RuntimeInstallReceipt payload. Do not close #25 until the residual wiring edits are captured or explicitly linked to a follow-up issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant